نتائج البحث

A complete realisability semantics for intersection types and arbitrary expansion variables

• Authors : Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent ...

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]Istanbul; Turkey

• Source: Lecture Notes in Computer Science, Springer-Verlag ; 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008 ; https://hal.science/hal-00382691 ; 5th

تفاصيل العنوان